The Case of Conflict Resolution and Recovery
نویسندگان
چکیده
New air trafhc management concepts distribute the responsibility for traffic separation among the several actors of the aerospace system. As a consequence, these concepts move the safety risk from human controllers to the onboard software and hardware systems. One example of the new kind of distributed systems is air traffic conflict detection and resolution. Traditional methods for safety analysis such as human-in-the-loop simulations, testing, and flight experiments may not be sufficient in this highly distributed system: the set of possible scenarios is too large to have a reasonable coverage. This paper proposes a paradigm shift for the safety analysis of avionics systems where formal methods drive the development of critical systems. As a case study of this approach, we report the mechanical verification of an algorithm for air traffic conflict resolution and recovery.
منابع مشابه
Effect of Cognitive-Behavioral Therapy (CBT) on Changing Conflict Resolution Styles of Military Personnel and Their Spouses During the COVID-19 Pandemic: A Randomized Quasi-Experimental Study
Background and Aim: Coronavirus disease 2019 (COVID-19) pandemic has caused a great deal of conflict and tension between couples and their families. Meanwhile, less attention has been paid to potential tensions and conflicts in families exposed to high stress, such as military families. Therefore, this study was conducted to investigate the effect of cognitive-behavioral therapy on changing the...
متن کاملThe Role of Cultural Intelligence and Conflict Resolution in Predicting Sports Success of Iranian Paralympic Athletes: Presenting a Structural Equation Model
Background and Aim: The Paralympic Games are a major international multi-sport event for athletes with physical disabilities or intellectual impairments. The current study develops a model of the effect of cultural intelligence on conflict resolution and the success of Iranian Paralympic athletes. Methods: This is a descriptive correlational study. Participants in this study were 124 athletes w...
متن کاملComparison of the effectiveness of the schema mode therapy and Emotional-focused therapy on styles of conflict resolution, in new married couples with conflict
The aim of this research was to study of comparison of Schema Mode therapy and Emotional-focused therapy (HmT) on styles of conflict resolution in new married couples with conflict. In regard to the purpose, this research was applicable and in regard to procedure, it was a quasi-experimental study with a multi-group pre-test-post-test design with control and follow-up group. The statistical pop...
متن کاملEffect of brief self-regulation couple therapy in conflict resolution and couple burnout
Unconstructive conflict resolution and couple burnout have a negative impact on quality of marital life. Brief self-regulation couple therapy is one of the effective approaches in transmission teachings and marital skills to couples. The aim of the current research was to investigate the effect of brief self-regulation couple therapy in conflict resolution and couple burnout among troubled coup...
متن کاملDetermine the contribution of conflict resolution styles in predicting marital commitment
Family is the most important pillar of a society, whose stability requires the couples’ commitment to each other. Difficulties and disagreements in married life are natural and how to resolve these conflicts can cause either stability or instability of the couples’ life. This descriptive-correlational study was conducted to investigate the predictive role of conflict resolution styles in marita...
متن کاملPredicting Psychological Hardiness Based on Relationship Patterns Between Couples and Conflict Resolution Styles in Married Men Affected by Spouse Extramarital Relationship
The aim of the present study was to investigate the prediction of Psychological Hardiness based on communication patterns between couples and conflict resolution styles in married men affected by an extramarital affair. This research was descriptive and correlational. The statistical population of this study was married men affected by the extramarital affair of their spouses who were referred ...
متن کامل